aggregation if {
    count("abc") == 3
    count([1, 3, 9]) == 3
    max([1, 3, 9]) == 9
    min([1, 3, 9]) == 1
    sum([1, 3, 9]) == 13
}
